#!/usr/bin/csh
#This script runs the task agents
java dummy -o ./test.ont -s dns.db & 
java scheduler-agent -o ./test.ont -s dns.db & 
